4001. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
4002. SIAM journal on discrete mathematics
Author: SIAM
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer science- Mathematics- Periodicals,Mathematics- Periodicals
Classification :
QA
،
76
.
9
،.
M35
,
S56
4003. STACS'90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, Feb. 1990 : Proceedings
Author: C. Choffrut, T. Lengauer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
415
4004. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings
Author: Symposium on Theoretical Aspects of Computer Science, )7th, 0991, Rouen, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses
Classification :
QA
75
.
5
.
S958
1990
4005. STEAM Education :
Author: editors, Myint Swe Khine and Shaljan Ageepattamannil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Study and teaching.,Mathematics-- Study and teaching.,Science-- Study and teaching.,Technology-- Study and teaching.,Engineering-- Study and teaching.,Mathematics-- Study and teaching.,SCIENCE-- Study & Teaching.,Science-- Study and teaching.,Technology-- Study and teaching.
Classification :
Q181
4006. STEAM jobs in space exploration /
Author: Ray Reyes ; edited by Keli Sipperley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Vocational guidance, Juvenile literature.,Science-- Vocational guidance, Juvenile literature.,Space sciences-- Vocational guidance, Juvenile literature.,Engineering-- Vocational guidance.,JUVENILE NONFICTION-- Science & Nature-- Astronomy.,Science-- Vocational guidance.,Space sciences-- Vocational guidance.,Outer space, Exploration, Vocational guidance, Juvenile literature.,Outer space., 0, 7
Classification :
QB500
.
22
.
R49
2018eb
4007. Samopodobie i fraktaly :
Author: O.I. Shelukhin, A.V. Osin, S.M. Smolʹskiĭ.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic computers. Computer science.,Mathematics.,Physics.,Science.,Telecommunication.
4008. Satisfiability problem
Author: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
Classification :
QA9
.
3
.
S38
1997
4009. Satisfiability problem :
Author: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
Classification :
QA9
.
3
.
S38
1997
4010. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
4011. Scalar Diffraction from a Circular Aperture
Author: by Charles J. Daly, Navalgund A. H. K. Rao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomedical engineering.,Computer science.,Computer vision.,Surfaces (Physics).
4012. Scale space and PDE methods in computer vision : 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005 : proceedings
Author: Ron Kimmel, Nir Sochen, Joachim Weickert )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
3459
4013. Scale-space and morphology in computer vision : Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001 : proceedings
Author: Michael Kerckhove )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Congresses ، Geometry,Congresses ، Gaussian processes,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
2106
4014. Scale space and variational methods in computer vision :
Author: Fiorella Sgallari, Almerico Murli, Nikos Paragios (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision-- Mathematics, Congresses.,Computer vision-- Methodology, Congresses.,Image processing-- Digital techniques, Congresses.,Image processing-- Digital techniques.,Informatique.,JUVENILE NONFICTION-- Computers-- General.
Classification :
TA1634
.
S72
2007eb
4015. Scale space methods in computer vision
Author: / Lewis D. Griffin, Martin Lillholm, eds
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer vision Congresses,Image processing- Mathematics Congresses
Classification :
TA1634
.
S38
2003
4016. Scale space methods in computer vision : 4th international conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003 : proceedings
Author: Lewis D. Griffin, Martin Lillholm )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
2695
4017. Scale-space theories in computer vision
Author: Mads Nielsen ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision, Congresses.,Gaussian processes, Congresses.,Geometry, Congresses.,Image processing-- Mathematics, Congresses.
4018. Scale-space theories in computer vision : second International Conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999 : proceedings
Author: Mads Nielsen...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Congresses ، Geometry,Congresses ، Gaussian processes,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
1682
4019. Scale-space theories in computer vision :second international conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999 : proceedings[CD]
Author: / Mads Nielsen ... [et al.] (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer vision -- Congresses,Geometry -- Congresses,Gaussian processes -- Congresses,Image processing - Mathematics -- Congresses
Classification :
CD1747-36
4020. Scale-space theory in computer vision : First International Conference, Scale-Space'97, Utrecht, The Netherlands, July 2-4, 1997 : proceedings
Author: Bart ter Haar Romeny...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Congresses ، Geometry,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
1252
